QU, HONGYANG: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

Busard, Simon, Pecheur, Charles, Qu, Hongyang, Raimondi, Franco

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 823 KB

english, 2015

2

Low pH capillary electrophoresis application to improve capillary electrophoresis-systematic evolution of ligands by exponential enrichment

Li, Qian, Zhao, Xinying, Liu, Hongyang, Qu, Feng

Journal:

Journal of Chromatography A

Year:

2014

Language:

english

File:

PDF, 1.55 MB

english, 2014

3

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms

Smyrnakis, Michalis, Qu, Hongyang, Veres, Sandor

Year:

2017

Language:

english

File:

PDF, 365 KB

english, 2017

4

The effect of reaction temperature on the particle size, structure and magnetic properties of coprecipitated CoFe2O4 nanoparticles

Yuqiu Qu, Haibin Yang, Nan Yang, Yuzun Fan, Hongyang Zhu, Guangtian Zou

Journal:

Materials Letters

Year:

2006

Language:

english

File:

PDF, 888 KB

english, 2006

5

Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Busard, Simon, Pecheur, Charles, Qu, Hongyang, Raimondi, Franco

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 1.41 MB

english, 2018

6

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Journal:

Expert Systems with Applications

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

7

Improving BDD-based attractor detection for synchronous Boolean networks

Yuan, Qixia, Qu, Hongyang, Pang, Jun, Mizera, Andrzej

Journal:

SCIENCE CHINA Information Sciences

Year:

2016

Language:

english

File:

PDF, 673 KB

english, 2016

8

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - Towards Verifying Contract Regulated Service Composition

Lomuscio, Alessio, Qu, Hongyang, Solanki, Monika

Year:

2008

Language:

english

File:

PDF, 428 KB

english, 2008

9

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

10

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Model Repair for Markov Decision Processes

Chen, Taolue, Hahn, Ernst Moritz, Han, Tingting, Kwiatkowska, Marta, Qu, Hongyang, Zhang, Lijun

Year:

2013

Language:

english

File:

PDF, 292 KB

english, 2013

11

ENFORCING CONCURRENT TEMPORAL BEHAVIORS

PELED, DORON, QU, HONGYANG

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 1.11 MB

english, 2006

12

[IEEE 2014 IEEE International Conference on Web Services (ICWS) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE International Conference on Web Services - Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols

Kholy, Warda El, Menshawy, Mohamed El, Bentahar, Jamal, Qu, Hongyang, Dssouli, Rachida

Year:

2014

Language:

english

File:

PDF, 302 KB

english, 2014

13

[IEEE 2016 IEEE Trustcom/BigDataSE/ISPA - Tianjin, China (2016.8.23-2016.8.26)] 2016 IEEE Trustcom/BigDataSE/ISPA - What Is My Next Job: Predicting the Company Size and Position in Career Changes

Qu, Hongyang, Yu, Zhiwen, Yu, Zhiyong, Xu, Huang, Guo, Bin, Xie, Xing

Year:

2016

Language:

english

File:

PDF, 429 KB

english, 2016

14

Specification and automatic verification of trust-based multi-agent systems

Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal, Shakshuki, Elhadi

Journal:

Future Generation Computer Systems

Year:

2018

Language:

english

File:

PDF, 1.86 MB

english, 2018

15

High-efficient and selective extraction of Hf over Zr with DIBK-P350 synergistic extraction system

Wu, Ming, He, Hongyang, Xu, Fei, Xu, Zhigao, Zhang, Wenjie, He, Zhengyan, Qu, Jun, Chi, Ruan, Huang, Lingyun

Journal:

Separation and Purification Technology

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

16

[IEEE 2009 2nd International Conference on Software Testing Verification and Validation (ICST 2009) - Denver, CO (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Optimizing probabilities of real-time test case execution

Wolovick, Nicolas, D'Argenio, Pedro, Qu, Hongyang

Year:

2009

Language:

english

File:

PDF, 1.61 MB

english, 2009

17

Enforcing Concurrent Temporal Behaviors

Doron Peled, Hongyang Qu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 324 KB

english, 2005

18

Shifts in Long-Distance Travel Mode Due to Automated Vehicles

LaMondia, Jeffrey J., Fagnant, Daniel J., Qu, Hongyang, Barrett, Jackson, Kockelman, Kara

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2016

Language:

english

File:

PDF, 662 KB

english, 2016

19

Azimuth Signal Multichannel Reconstruction and Channel Configuration Design for Geosynchronous Spaceborne-Airborne Bistatic SAR

Wu, Junjie, Sun, Zhichao, An, Hongyang, Qu, Jingyi, Yang, Jianyu

Journal:

IEEE Transactions on Geoscience and Remote Sensing

Year:

2018

Language:

english

File:

PDF, 4.39 MB

english, 2018

20

A new decomposition-based method for detecting attractors in synchronous Boolean networks

Yuan, Qixia, Mizera, Andrzej, Pang, Jun, Qu, Hongyang

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 500 KB

english, 2019

21

Chamaejasmine Induces Apoptosis in Human Lung Adenocarcinoma A549 Cells through a Ros-Mediated Mitochondrial Pathway

Yu, Hongyang, Zhang, Tingting, Cai, Li, Qu, Yuanyuan, Hu, Songliu, Dong, Guanglu, Guan, Rongwei, Xu, Xiangying, Xing, Lina

Journal:

Year:

2011

Language:

english

File:

PDF, 776 KB

english, 2011

22

Local abstraction refinement for probabilistic timed programs

Dräger, Klaus, Kwiatkowska, Marta, Parker, David, Qu, Hongyang

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

23

[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - On efficient consistency checks by robots

Qu, Hongyang, Veres, Sandor M.

Year:

2014

Language:

english

File:

PDF, 677 KB

english, 2014

24

Verification of logical consistency in robotic reasoning

Qu, Hongyang, Veres, Sandor M.

Journal:

Robotics and Autonomous Systems

Year:

2016

Language:

english

File:

PDF, 798 KB

english, 2016

25

[IEEE 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR) - Shenyang (2018.8.24-2018.8.27)] 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR) - A stochastically verifiable decision making framework for autonomous ground vehicles

Al-Nuaimi, Mohammed, Qu, Hongyang, Veres, Sandor M.

Year:

2018

Language:

english

File:

PDF, 9 KB

english, 2018

26

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.19 MB

english, 2008

27

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness

Hansen, Henri, Kwiatkowska, Marta, Qu, Hongyang

Year:

2011

Language:

english

File:

PDF, 285 KB

english, 2011

28

Development of the photosynthetic apparatus of Cunninghamia lanceolata in light and darkness

Xue, Xian, Wang, Qi, Qu, Yanli, Wu, Hongyang, Dong, Fengqin, Cao, Haoyan, Wang, Hou-Ling, Xiao, Jianwei, Shen, Yingbai, Wan, Yinglang

Journal:

New Phytologist

Year:

2016

Language:

english

File:

PDF, 1.53 MB

english, 2016

29

[IEEE 2016 9th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI) - Datong, China (2016.10.15-2016.10.17)] 2016 9th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI) - Methods to improve the precision of positioning in the MR-guided focused ultrasound surgery system

Mao, Hongyang, Shen, Guofeng, Qu, Xiongfei, Zong, Shenyan

Year:

2016

Language:

english

File:

PDF, 415 KB

english, 2016

30

Dynamic Multi-Objective Dispatch Considering Wind Power and Electric Vehicles With Probabilistic Characteristics

Zhu, Yongsheng, Gao, Hongyang, Xiao, Junming, Qu, Boyang, Zhu, Fanbing, Yang, Lu

Journal:

Year:

2019

Language:

english

File:

PDF, 1.84 MB

english, 2019

31

Formal Specification and Automatic Verification of Conditional Commitments

El Kholy, Warda, El Menshawy, Mohamed, Bentahar, Jamal, Qu, Hongyang, Dssouli, Rachida

Journal:

IEEE Intelligent Systems

Year:

2015

Language:

english

File:

PDF, 3.11 MB

english, 2015

32

Dynamic Properties of a Forest Fire Model

Min, Na, Zhang, Hongyang, Qu, Zhilin

Journal:

Abstract and Applied Analysis

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

33

Taming Asynchrony for Attractor Detection in Large Boolean Networks

Mizera, Andrzej, Pang, Jun, Qu, Hongyang, Yuan, Qixia

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

34

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017

35

Communicative commitments: Model checking and complexity analysis

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Journal:

Knowledge-Based Systems

Year:

2012

Language:

english

File:

PDF, 592 KB

english, 2012

36

Compositional probabilistic verification through multi-objective model checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David, Qu, Hongyang

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 641 KB

english, 2013

37

Effects of N-Butylphthalide on the expressions of Nogo/NgR in rat brain tissue after carbon monoxide poisoning

Li, Qin, Cheng, Yongmei, Bi, Ming Jun, Kang, Hai, Qu, Yun, Lin, Hongyang, Guo, Yunliang, Zou, Yong

Journal:

Environmental Toxicology and Pharmacology

Year:

2015

Language:

english

File:

PDF, 3.48 MB

english, 2015

38

The Mechanism of Radiosensitization by YM155, a Novel Small Molecule Inhibitor of Survivin Expression, is Associated with DNA Damage Repair

Hu, Songliu, Fu, Songbin, Xu, Xiangying, Chen, Lin, Xu, Jianyu, Li, Bin, Qu, Yuanyuan, Yu, Hongyang, Lu, Shan, Li, Wenxin

Journal:

Cellular Physiology and Biochemistry

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

39

All in one theranostic nanoplatform enables efficient anti-tumor peptide delivery for triple-modal imaging guided cancer therapy

Qu, Xiaoyan, Liu, Zhengqing, Ma, Bohan, Li, Na, Zhao, Hongyang, Yang, Tian, Xue, Yumeng, Zhang, Xiaozhi, Shao, Yongping, Chang, Ying, Xu, Jun, Lei, Bo, Du, Yaping

Journal:

Year:

2018

Language:

english

File:

PDF, 2.91 MB

english, 2018

40

Sphingolipidomic Profiling of Rat Serum by UPLC-Q-TOF-MS: Application to Rheumatoid Arthritis Study

Qu, Fanghui, Zhang, Hongyang, Zhang, Min, Hu, Ping

Journal:

Year:

2018

Language:

english

File:

PDF, 4.57 MB

english, 2018

41

Towards verifying contract regulated service composition

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2012

Language:

english

File:

PDF, 862 KB

english, 2012

42

[IEEE Networks (DSN) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) - Incremental quantitative verification for Markov decision processes

Kwiatkowska, Marta, Parker, David, Qu, Hongyang

Year:

2011

Language:

english

File:

PDF, 1.10 MB

english, 2011

43

Operational Effects of Transverse Rumble Strips on Approaches to High-Speed Intersections

Yang, Lingling, Zhou, Huaguo, Zhu, Lingxi, Qu, Hongyang

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2016

Language:

english

File:

PDF, 901 KB

english, 2016

44

Lipidated L2 epitope repeats fused with a single-chain antibody fragment targeting human FcγRI elicited cross-neutralizing antibodies against a broad spectrum of human papillomavirus types

Zhang, Ting, Liu, Hongyang, Chen, Xue, Wang, Zhirong, Wang, Shuo, Qu, Chunfeng, Zhang, Jingzhi, Xu, Xuemei

Journal:

Year:

2016

Language:

english

File:

PDF, 1.51 MB

english, 2016

45

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - A stochastically verifiable autonomous control architecture with reasoning

Izzo, Paolo, Qu, Hongyang, Veres, Sandor M.

Year:

2016

Language:

english

File:

PDF, 368 KB

english, 2016

46

Metallization of Carbon Fibers with Nickel by Electroless Plating Technique

Yuzun Fan, Haibin Yang, Hongyang Zhu, Xizhe Liu, Minghui Li, Yuqiu Qu, Nan Yang, Guangtian Zou

Journal:

Metallurgical and Materials Transactions A

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

47

Multiple-twinned silver nanoparticles supported on mesoporous graphene with enhanced antibacterial activity

Yang, Lini, Meng, Fanchi, Qu, Xiaoyue, Xia, Lixin, Huang, Fei, Qin, Shuai, Zhang, Minghe, Xu, Fen, Sun, Lixian, Liu, Hongyang

Journal:

Year:

2019

Language:

english

File:

PDF, 2.01 MB

english, 2019

48

Construction of high quality ultrathin lanthanide oxyiodide nanosheets for enhanced CT imaging and anticancer drug delivery to efficient cancer theranostics

Xu, Lingling, Xue, Yumeng, Xia, Jiale, Qu, Xiaoyan, Lei, Bo, Yang, Tian, Zhang, Xiaozhi, Li, Na, Zhao, Hongyang, Wang, Min, Luo, Meng, Zhang, Chao, Du, Yaping, Yan, Chunhua

Journal:

Year:

2020

File:

PDF, 1.20 MB

2020

49

Preparation of Cu–Zn/ZnO core–shell nanocomposite by surface modification and precipitation process in aqueous solution and its photoluminescence properties

Nan Yang, Haibin Yang, Yuqiu Qu, Yuzun Fan, Lianxia Chang, Hongyang Zhu, Minghui Li, Guangtian Zou

Journal:

Materials Research Bulletin

Year:

2006

Language:

english

File:

PDF, 900 KB

english, 2006

50

The protective role of hydrogen-rich saline in experimental liver injury in mice

HanYong Sun, Lei Chen, WeiPing Zhou, Liang Hu, Liang Li, QianQian Tu, YanXin Chang, Qu Liu, XueJun Sun, MengChao Wu, HongYang Wang

Journal:

Journal of Hepatology

Year:

2011

Language:

english

File:

PDF, 2.10 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски